Concurrent data structure

Results: 90



#Item
81Computer programming / Non-blocking algorithm / Compare-and-swap / Linearizability / Parallel computing / Lock / Reference counting / Concurrent data structure / Spinlock / Concurrency control / Computing / Concurrency

Challenges in Real-Time Synchronization∗ ¨ P HILIPPE S TELLWAG and W OLFGANG S CHR ODER -P REIKSCHAT Friedrich-Alexander University Erlangen-Nuremberg Computer Science 4, Martensstr. 1, Erlangen, Germany

Add to Reading List

Source URL: www4.cs.fau.de

Language: English - Date: 2011-05-25 14:15:25
82Computer architecture / Central processing unit / Model checkers / Model checking / Multi-core processor / CPU design / SPIN model checker / Concurrent data structure / Formal verification / Computing / Parallel computing / Electronic engineering

TSE[removed]The Design of a Multi-Core Extension of the SPIN Model Checker

Add to Reading List

Source URL: spinroot.com

Language: English - Date: 2008-06-30 15:34:26
83Computer programming / Distributed computing / Concurrency / Programming language / Programming paradigm / Data structure / Thread / Parallel computing / Message passing / Computing / Concurrent computing / Software engineering

MODULE TITLE: Concurrent and Distributed Systems MODULE CODE:

Add to Reading List

Source URL: cis.ulster.ac.uk

Language: English - Date: 2013-06-12 08:51:25
84Parallel computing / Concurrency control / Microprocessors / Threads / Multi-core processor / Process / Concurrent data structure / Lock / Multithreading / Computing / Concurrent computing / Computer programming

C++ Concurrency in Action

Add to Reading List

Source URL: www.manning.com

Language: English - Date: 2012-02-15 15:55:51
85Computer programming / Concurrent data structure / Linearizability / Non-blocking algorithm / Lock / Spinlock / Readers–writer lock / Thread / Parallel computing / Concurrency control / Computing / Concurrency

1 Concurrent Data Structures 1.1 Designing Concurrent Data Structures . . . . . . . . . . . . .

Add to Reading List

Source URL: www.cs.tau.ac.il

Language: English - Date: 2007-12-18 05:30:18
86Thread / Concurrency control / Callback / Asynchronous I/O / Kernel / Parallel computing / Scheduling / Critical section / Concurrent data structure / Computing / Computer programming / Concurrent computing

Event-driven Programming for Robust Software Frank Dabek, Nickolai Zeldovich, Frans Kaashoek, David Mazi`eres, Robert Morris MIT Laboratory for Computer Science

Add to Reading List

Source URL: www.scs.stanford.edu

Language: English - Date: 2002-07-02 17:46:05
87Software engineering / Read-copy-update / Non-blocking algorithm / Thread / Concurrent data structure / Spinlock / Lock / Memory barrier / ABA problem / Concurrency control / Computing / Computer programming

PDF Document

Add to Reading List

Source URL: www.rdrop.com

Language: English - Date: 2006-05-13 10:09:56
88Concurrent computing / Non-blocking algorithm / Compare-and-swap / Concurrent data structure / Lock / Mutual exclusion / Linearizability / Thread / Priority queue / Concurrency control / Computing / Concurrency

PDF Document

Add to Reading List

Source URL: www.adm.hb.se

Language: English - Date: 2004-10-04 05:35:32
89Concurrency control / Concurrent computing / Threads / Thread / Monitor / Multithreading / Lock / Automatic parallelization / Concurrent data structure / Computing / Computer programming / Parallel computing

PDF Document

Add to Reading List

Source URL: apt.cs.man.ac.uk

Language: English - Date: 2013-02-11 17:42:46
90Actor model / Concurrent computing / Objective-C / Java / Garbage collection / Static single assignment form / Message passing / Disjoint-set data structure / Object / Computing / Software engineering / Computer programming

PDF Document

Add to Reading List

Source URL: www.malhar.net

Language: English - Date: 2013-08-30 13:59:24
UPDATE